Vérité et vérification en logique mathématique et dans les théories physiques

Logique mathématique et linguistique formelle

Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini

Recherches effectuees en iran sur Theilerla annulata Dschunkowsky et luhz, et ca transmission dans les conditions naturelles ou experimentales

Etude de la ceruloplasmine et du cuivre sanguin et urinaire chez les sujects normaux et dans la maladie de Wilson en Iran

Entreposage et analyse en ligne dans les nuages avec Pig

RÉSUMÉ Les entrepôts de données et les systèmes OLAP permettent d’analyser à la volée de gros volumes de données. L’informatique dans les nuages vise à proposer des capacités de calcul et de stockage virtuellement infinies. Considérer l’analyse et l’entreposage de données au sein des nuages informatiques devient alors un enjeu majeur. Les problèmes à aborder sont ceux classiques des systèmes la...

Structures algébriques en logique et concurrence

In this work we shall synthesize the research activity we have accomplished since we received the PhD title at the University of Québec in Montréal. These researches have been developed at and made possible through several research institutions that we would like to thank : the BRICS at Aarhus University, the PIMS and the Department of Computer Science of Calgary University, the LaBRI at Bordea...